Ignore deprecations for gdk_flush()
authorEmmanuele Bassi <ebassi@gnome.org>
Sun, 11 Feb 2018 15:13:06 +0000 (15:13 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Sun, 11 Feb 2018 23:28:50 +0000 (23:28 +0000)
commit382d6c1bcb683291ef7073ea83a95a524cf68b6e
tree407c181038fcd3cba58c3c91f9ffc7157be0d82a
parent299a91bd46a1970f33ffcd2f3fad2894b3f762dd
Ignore deprecations for gdk_flush()

When terminating the main loop, we're really trying to flush all
GdkDisplay connections, so it's actually a legitimate internal use
case.
gtk/gtkmain.c